Automatic programming

Results: 566



#Item
261Memory management / Automatic memory management / Primitive types / Garbage collection / Unreachable memory / Reference counting / Object-oriented programming / Garbage / Pointer / Computing / Software engineering / Data types

Lecture 14 Introduction to Garbage Collection I.  Memory Management II.  Why is Automatic GC Important and Hard? III.  Reference Counting IV.  Basic Trace-Based GC

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2012-01-08 01:59:38
262Mathematical optimization / Machine learning / Applied mathematics / Science / Genetic programming / Operations research / Robotics / Fitness function / Mobile robot / Genetic algorithms / Evolutionary algorithms / Cybernetics

Automatic Programming of Robots using Genetic Programming John R. Koza James P. Rice Stanford University Computer Science Department

Add to Reading List

Source URL: www.genetic-programming.com

Language: English - Date: 2006-11-17 21:16:30
263Software bugs / Software testing / Logic in computer science / Debugging / Test case / Infinite loop / ALGOL 68 / Precondition / Pointer / Software engineering / Computer programming / Computing

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus To cite this version: Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus

Add to Reading List

Source URL: hal.inria.fr

Language: English - Date: 2015-04-15 11:05:08
264Programming language implementation / Compiler construction / Compilers / Automatic parallelization / Static program analysis / Parallel computing / Compiler / Dependence analysis / Array programming / Software engineering / Computing / Compiler optimizations

Lecture 12 Parallelization I.  Basic Parallelization II.  Data dependence analysis III.  Interprocedural parallelization

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2015-03-02 13:00:05
265Object-oriented programming / Java / Model checking / Static program analysis / Class / Objective-C / Method / Common Object Request Broker Architecture / Actor model / Computing / Software engineering / Computer programming

Automatic Extraction of Object-Oriented Component Interfaces John Whaley Michael C. Martin Monica S. Lam Computer Systems Laboratory Stanford University {jwhaley,

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2007-04-01 19:34:49
266Memory management / Automatic memory management / Cross-platform software / Procedural programming languages / Garbage collection / Data types / Unreachable memory / Pointer / C / Computing / Software engineering / Computer programming

Lecture 15 Advanced Garbage Collection I Break Up GC in Time (Incremental)

Add to Reading List

Source URL: dragonbook.stanford.edu

Language: English - Date: 2008-09-08 14:04:13
267Concurrency control / Threads / Concurrent computing / Computer architecture / Speculative multithreading / Heuristic / Speculative execution / Automatic parallelization / Speedup / Computing / Parallel computing / Computer programming

Heuristics for Profile-driven Method-level Speculative Parallelization John Whaley and Christos Kozyrakis Computer Systems Laboratory Stanford University {jwhaley,kozyraki}@stanford.edu

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2007-04-01 19:35:00
268Heat sink / ATS / Software engineering / Computing / Computer programming / Heat transfer / Automatic train stop / Railway signalling

ATS-SUPERGRIP_CLEARANCE_GUIDELINES-R1

Add to Reading List

Source URL: www.qats.com

Language: English - Date: 2014-06-19 05:45:12
269Higher-order functions / Erlang programming language / Recursion / Code refactoring / Extreme programming / Erlang / List comprehension / Filter / Lambda / Software engineering / Computing / Computer programming

Automatic Refactoring of Erlang Programs Konstantinos Sagonas Thanassis Avgerinos School of Electrical and Computer Engineering,

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2009-09-15 01:54:46
270Parallel computing / Graphics hardware / Video cards / Compiler optimizations / Procedural programming languages / GPGPU / Automatic parallelization / CUDA / ALGOL 68 / Computing / Software engineering / Programming language theory

DEPARTMENT OF COMPUTER SCIENCE (DIKU) UNIVERSITY OF COPENHAGEN A Financial Benchmark for GPGPU Compilation Christian Andretta

Add to Reading List

Source URL: hiperfit.dk

Language: English - Date: 2015-04-10 04:24:17
UPDATE